Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
نویسندگان
چکیده
منابع مشابه
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
Matsuda et al. (Matsuda, K., Hu, Z., Nakano, K., Hamana, M. & Takeichi, M. (2007) Bidirectionalization transformation based on automatic derivation of view complement functions. In Proceedings of the International Conference on Functional Programming. ACM Press, pp. 47–58) and Voigtländer (Voigtländer, J. (2009) Bidirectionalization for free! In Proceedings of Principles of Programming Language...
متن کاملPatterns for Plug-Ins
This pattern collection helps to define, implement and package Plug-Ins specific to an extensible application. Central patterns are the Plug-In and the Plug-In Contract between the Plug-In and the application; afterwards patterns for packaging and registration of Plug-Ins are explored. Process and organisation patterns complement the general technical patterns, and support the technical flexibi...
متن کاملFormalizing Semantic Bidirectionalization with Dependent Types
Bidirectionalization is the task of automatically inferring one of two transformations that as a pair realize the forward and backward relationship between two domains, subject to certain consistency conditions. A specific technique, semantic bidirectionalization, has been developed that takes a getfunction (mapping forwards from sources to views) as input — but does not inspect its syntactic d...
متن کاملEnhancing OSGi: Semantic Add-ins for Service Oriented Collaborative Environments
Service Oriented Architectures offer an incomparable setting for the management and reuse of services, mixing different factors like software and services. The ability to choose between the services available often gets blurry, because of the difficulty when trying to find the best service that fits better the actual needs, or even because its invocation process gets excessively complex. This w...
متن کاملGraphical User Interfaces Composed of Plug-ins
For programmers who are not involved in the development of a graphical user interface (GUI), it is usually not an easy task to adapt or extend the GUI. In this paper a possible solution being based on the plug-in concept is proposed which makes extensions of the GUI and independent development of GUI components much easier. Furthermore, GUIs designed that way can be easily extended with individ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Functional Programming
سال: 2013
ISSN: 0956-7968,1469-7653
DOI: 10.1017/s0956796813000130